Conceptual Software Design: Algebraic Axioms for Conceptual Integrity
نویسندگان
چکیده
Software Conceptual Integrity has been considered a cardinal concern for design and development of software systems. But, except for verbal descriptions of desiderata, there were no formal tools to guarantee that conceptual integrity is attained. This paper proposes an axiomatic algebraic approach, based upon the assumption that the software system in each level of the system hierarchy is represented by a Modularity Matrix. This representation enables to translate propriety, orthogonality and generality, usually taken as basic conceptual integrity principles, into formal algebraic criteria. The novelty is that one can finally make Conceptual Integrity quantitative calculations. The latter are illustrated by a case study. The paper also discusses the intimate relationship between software and knowledge, which emphasizes the importance of conceptual principles for software design. Conceptual Integrity; software system design; Linear Software Models; Modularity Matrix; axiomatic approach; formal algebraic criteria; quantitative calculations; Software Knowledge.
منابع مشابه
Conceptual Integrity of Software Systems: Architecture, Abstraction and Algebra
Conceptual Integrity has been claimed to be the essence of high-quality software system design. On the other hand, it has been a rather elusive attribute of software systems, challenging various attempts of a clear-cut characterization. This paper evolves in this direction by two means: first, by analysis and clarification of open issues in architecture and abstraction terms; second, by pointin...
متن کاملDeveloping a Conceptual Framework of Integrity in Urban Heritage Conservation
The concept of integrity, as a factor of sustaining values and significance of cultural heritage, is considered to be a key element in the process of urban heritage conservation. Review and analysis of documents, conventions and theories concerning the role of integrity in urban heritage conservation shows that in recent decades, the concept of integrity has attracted attention worldwide in the...
متن کاملExtending Software Systems While Keeping Conceptual Integrity
Design and analysis of software systems in terms of their Conceptual Integrity is a demanding task. Nonetheless, progress has been made in recent years and actual software systems in practical use, such as Git, have been analyzed. In this work we make a further first step within the conceptual analysis approach, by asking how to extend software systems by addition of further components while ke...
متن کاملPresenting a Conceptual Model for Integrating Urban Space Network with \"Living Community\" Approach*
Undoubtedly, public spaces can be considered as an essential factor, which could contribute to urban arrangement, create and maintain a strong local center and enhance the quality of superior environment and the sense of citizenship. Moreover, integrity has always been the most basic structural qualities and one of the key principles of cities. Integrated urban spaces exhibit the integrated str...
متن کاملConceptual Design of Software: A Research Agenda
A research agenda in software design is outlined, focusing on the role of concepts. The notions of concepts as “abstract affordances” and of conceptual integrity are discussed, and a series of small examples of conceptual models is given. What is Conceptual Integrity? In the field of software design, there is little agreement to be found amongst experts over exactly how software should be struc...
متن کامل